On Endomorphism Algebras of Separable Monoidal Functors
نویسندگان
چکیده
We show that the (co)endomorphism algebra of a sufficiently separable “fibre” functor into Vectk, for k a field of characteristic 0, has the structure of what we call a “unital” von Neumann core in Vectk. For Vectk, this particular notion of algebra is weaker than that of a Hopf algebra, although the corresponding concept in Set is again that of a group.
منابع مشابه
Graphical Methods for Tannaka Duality of Weak Bialgebras and Weak Hopf Algebras
Tannaka duality describes the relationship between algebraic objects in a given category and functors into that category; an important case is that of Hopf algebras and their categories of representations; these have strong monoidal forgetful “fibre functors” to the category of vector spaces. We simultaneously generalize the theory of Tannaka duality in two ways: first, we replace Hopf algebras...
متن کاملTannaka Reconstruction of Weak Hopf Algebras in Arbitrary Monoidal Categories
We introduce a variant on the graphical calculus of Cockett and Seely[2] for monoidal functors and illustrate it with a discussion of Tannaka reconstruction, some of which is known and some of which is new. The new portion is: given a separable Frobenius functor F : A −→ B from a monoidal category A to a suitably complete or cocomplete braided autonomous category B, the usual formula for Tannak...
متن کاملAbelian Categories of Modules over a (Lax) Monoidal Functor
In [CY98] Crane and Yetter introduced a deformation theory for monoidal categories. The related deformation theory for monoidal functors introduced by Yetter in [Yet98] is a proper generalization of Gerstenhaber’s deformation theory for associative algebras [Ger63, Ger64, GS88]. In the present paper we solidify the analogy between lax monoidal functors and associative algebras by showing that u...
متن کاملWhat Separable Frobenius Monoidal Functors Preserve
Abstract. Separable Frobenius monoidal functors were de ned and studied under that name in [10], [11] and [4] and in a more general context in [3]. Our purpose here is to develop their theory in a very precise sense. We determine what kinds of equations in monoidal categories they preserve. For example we show they preserve lax (meaning not necessarily invertible) Yang-Baxter operators, weak Ya...
متن کاملCosovereign Hopf algebras
A sovereign monoidal category is an autonomous monoidal category endowed with the choice of an autonomous structure and an isomorphism of monoidal functors between the associated left and right duality functors. In this paper we define and study the algebraic counterpart of sovereign monoidal categories: cosovereign Hopf algebras. In this framework we find a categorical characterization of invo...
متن کامل